(w32_query_font): Fix last change: use stricmp.

diff --git a/src/w32fns.c b/src/w32fns.c
index 4c933f0631e49c8aae414c7eb223135846c8a8d9..e1cae4f3eb4c94c65ce6dae045ee756c6739e14c 100644 (file)
--- a/src/w32fns.c
+++ b/src/w32fns.c
@@ -6236,7 +6236,7 @@ w32_query_font (struct frame *f, char *fontname)
 
   for (i = 0; i < one_w32_display_info.n_fonts ;i++, pfi++)
     {
-      if (strcasecmp(pfi->name, fontname) == 0) return pfi;
+      if (stricmp(pfi->name, fontname) == 0) return pfi;
     }
 
   return NULL;